Parallel Logic Programming: A Sequel

Abstract Multi-core and highly connected architectures have become ubiquitous, this has brought renewed interest in language-based approaches to the exploitation of parallelism. Since its inception, logic programming been recognized as a paradigm with great potential for automated The comprehensive survey first twenty years research parallel programming, published 2001, served since fundamental reference researchers developers. contents are quite valid today, but at same time field continued evolving fast pace that followed. Many these achievements ongoing driven by rapid technological innovation, led advances such very large clusters, wide diffusion multi-core processors, game-changing role general-purpose graphic processing units, ubiquitous adoption cloud computing. This paralleled significant within tabling, more powerful static analysis verification, growth Answer Set Programming, general, mature implementations systems. provides review covering period thus providing natural continuation previous survey. In order keep self-contained, it restricts attention parallelization major languages (Prolog, Datalog, Programming) an emphasis on preservation sequential observable semantics languages. goal is serve not only developers systems also engaging reading anyone interested useful source outside programming.